Up – Package index » mirage-tc » Library tc » Tc » Biject » B

Parameter `Biject.B`

mirage-tc
- Library tc
  - Tc
    - S0
    - S1
    - S2
    - S3
    - Bin_prot0
    - Bin_prot1
    - Bin_prot2
    - Bin_prot3
    - App1
    - App2
    - App3
    - Bool
    - String
    - Cstruct
    - Unit
    - Option
    - O1
    - Pair
    - P2
    - Triple
    - T3
    - Int
    - Int32
    - Int64
    - List
    - L1
    - Set
    - Biject
    - As_L0
    - As_L1
    - As_AL1
    - Reader
    - Writer
    - Compare
    - Equal
    - Size_of

type t

val to_t : A.t -> t

val of_t : t -> A.t