Module CLogic.CUnOp

type t =
  1. | LstLen
  2. | Not
val str : t -> string