module To_display: Biokepi_pipeline_edsl.To_display
Compiler to
SmartPrint.t
displayable pseudo code,
see the
smart-print library.
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