sig
  val compose :
    ('-> '-> int option) -> ('-> '-> int option) -> '-> '-> int
  val reverse : ('-> '-> int) -> '-> '-> int
  val reversep :
    ('-> '-> int Biocaml_internal_pervasives.Option.t) ->
    '-> '-> int Biocaml_internal_pervasives.Option.t
  val totalify : ('-> '-> 'c option) -> '-> '-> 'c
end