package GuaCaml

  1. Overview
  2. Docs
package GuaCaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Type : sig ... end
module Check : sig ... end
module ToS : sig ... end
module ToShiftS : sig ... end
val tree_of_forest : ?check:bool -> 'a Type.f -> 'a Type.t
val forest_ntimes : int -> 'a -> 'a Type.f
val forest_cons : 'a Type.t -> 'a Type.f -> 'a Type.f
val forest_union : 'a Type.f -> 'a Type.f -> 'a Type.f
val forest_pair : 'a Type.t -> 'a Type.t -> 'a Type.f