module To_display: sig .. end
type 'a repr = var_count:int -> SP.t
type 'a observation = SP.t
val lambda : ((var_count:'a -> SP.t) -> var_count:int -> SP.t) -> var_count:int -> SP.t
val apply : (var_count:'a -> SP.t) -> (var_count:'a -> SP.t) -> var_count:'a -> SP.t
val observe : (unit -> var_count:int -> 'a) -> 'a
val to_unit : (var_count:'a -> SP.t) -> var_count:'a -> SP.t
val list : (var_count:'a -> SmartPrint.t) list -> var_count:'a -> SP.t
val list_map : (var_count:'a -> SP.t) -> f:(var_count:'a -> SP.t) -> var_count:'a -> SP.t
include struct ... end