Up – Package index » mirage-tc » Library tc » Tc » As_L0 » S

Parameter `As_L0.S`

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

module K : S0

val to_list : t -> K.t list

val of_list : K.t list -> t