package streamable

You can search for identifiers within the package.

in-package search v0.2.0

package streamable

streamable
- Streamable
  - Checked
    
    Intermediate
    
    Part
    
    Limit
    
    X
    
    Intermediate
    
    Part
  - Fixpoint
    
    F
    
    Intermediate
    
    Part
    
    X
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    T
  - Fixpoint_rpc
    
    F
    
    Intermediate
    
    Part
    
    X
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    T
  - Of_atomic
    
    A
    
    Intermediate
    
    Part
  - Of_atomic_rpc
    
    A
    
    Intermediate
    
    Part
  - Of_fqueue
    
    A
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
  - Of_fqueue_rpc
    
    A
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
  - Of_hashtbl
    
    Data
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    Key
  - Of_hashtbl_rpc
    
    Data
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    Key
  - Of_list
    
    A
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
  - Of_list_rpc
    
    A
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
  - Of_map
    
    Data
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    Key
  - Of_map_rpc
    
    Data
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    Key
  - Of_nonempty_list
    
    A
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
  - Of_nonempty_list_rpc
    
    A
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
  - Of_option
    
    A
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
  - Of_option_rpc
    
    A
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
  - Of_result
    
    A
    
    Intermediate
    
    Part
    
    B
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
  - Of_result_rpc
    
    A
    
    Intermediate
    
    Part
    
    B
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
  - Of_sequence
    
    A
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
  - Of_sequence_rpc
    
    A
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
  - Of_set
    
    Intermediate
    
    Part
    
    Key
  - Of_set_rpc
    
    Intermediate
    
    Part
    
    Key
  - Of_sexpable
    
    Intermediate
    
    Part
    
    Sexpable
  - Of_streamable
    
    Intermediate
    
    Part
    
    Streamable
    
    Intermediate
    
    Part
    
    X
  - Of_streamable_rpc
    
    Intermediate
    
    Part
    
    Streamable
    
    Intermediate
    
    Part
    
    X
  - Of_total_map
    
    Data
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    Key
  - Of_total_map_rpc
    
    Data
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    Key
  - Of_tuple2
    
    A
    
    Intermediate
    
    Part
    
    B
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
  - Of_tuple2_rpc
    
    A
    
    Intermediate
    
    Part
    
    B
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
  - Of_tuple3
    
    A
    
    Intermediate
    
    Part
    
    B
    
    Intermediate
    
    Part
    
    C
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
  - Of_tuple3_rpc
    
    A
    
    Intermediate
    
    Part
    
    B
    
    Intermediate
    
    Part
    
    C
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
  - Of_tuple4
    
    A
    
    Intermediate
    
    Part
    
    B
    
    Intermediate
    
    Part
    
    C
    
    Intermediate
    
    Part
    
    D
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
  - Of_tuple4_rpc
    
    A
    
    Intermediate
    
    Part
    
    B
    
    Intermediate
    
    Part
    
    C
    
    Intermediate
    
    Part
    
    D
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
  - Of_tuple5
    
    A
    
    Intermediate
    
    Part
    
    B
    
    Intermediate
    
    Part
    
    C
    
    Intermediate
    
    Part
    
    D
    
    Intermediate
    
    Part
    
    E
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
  - Of_tuple5_rpc
    
    A
    
    Intermediate
    
    Part
    
    B
    
    Intermediate
    
    Part
    
    C
    
    Intermediate
    
    Part
    
    D
    
    Intermediate
    
    Part
    
    E
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
  - Of_tuple6
    
    A
    
    Intermediate
    
    Part
    
    B
    
    Intermediate
    
    Part
    
    C
    
    Intermediate
    
    Part
    
    D
    
    Intermediate
    
    Part
    
    E
    
    Intermediate
    
    Part
    
    F
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
  - Of_tuple6_rpc
    
    A
    
    Intermediate
    
    Part
    
    B
    
    Intermediate
    
    Part
    
    C
    
    Intermediate
    
    Part
    
    D
    
    Intermediate
    
    Part
    
    E
    
    Intermediate
    
    Part
    
    F
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
  - Of_tuple7
    
    A
    
    Intermediate
    
    Part
    
    B
    
    Intermediate
    
    Part
    
    C
    
    Intermediate
    
    Part
    
    D
    
    Intermediate
    
    Part
    
    E
    
    Intermediate
    
    Part
    
    F
    
    Intermediate
    
    Part
    
    G
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
  - Of_tuple7_rpc
    
    A
    
    Intermediate
    
    Part
    
    B
    
    Intermediate
    
    Part
    
    C
    
    Intermediate
    
    Part
    
    D
    
    Intermediate
    
    Part
    
    E
    
    Intermediate
    
    Part
    
    F
    
    Intermediate
    
    Part
    
    G
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
  - Of_tuple8
    
    A
    
    Intermediate
    
    Part
    
    B
    
    Intermediate
    
    Part
    
    C
    
    Intermediate
    
    Part
    
    D
    
    Intermediate
    
    Part
    
    E
    
    Intermediate
    
    Part
    
    F
    
    Intermediate
    
    Part
    
    G
    
    Intermediate
    
    Part
    
    H
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
  - Of_tuple8_rpc
    
    A
    
    Intermediate
    
    Part
    
    B
    
    Intermediate
    
    Part
    
    C
    
    Intermediate
    
    Part
    
    D
    
    Intermediate
    
    Part
    
    E
    
    Intermediate
    
    Part
    
    F
    
    Intermediate
    
    Part
    
    G
    
    Intermediate
    
    Part
    
    H
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
  - Of_tuple9
    
    A
    
    Intermediate
    
    Part
    
    B
    
    Intermediate
    
    Part
    
    C
    
    Intermediate
    
    Part
    
    D
    
    Intermediate
    
    Part
    
    E
    
    Intermediate
    
    Part
    
    F
    
    Intermediate
    
    Part
    
    G
    
    Intermediate
    
    Part
    
    H
    
    Intermediate
    
    Part
    
    I
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
  - Of_tuple9_rpc
    
    A
    
    Intermediate
    
    Part
    
    B
    
    Intermediate
    
    Part
    
    C
    
    Intermediate
    
    Part
    
    D
    
    Intermediate
    
    Part
    
    E
    
    Intermediate
    
    Part
    
    F
    
    Intermediate
    
    Part
    
    G
    
    Intermediate
    
    Part
    
    H
    
    Intermediate
    
    Part
    
    I
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
  - Of_variant2
    
    A
    
    Intermediate
    
    Part
    
    B
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
  - Of_variant2_rpc
    
    A
    
    Intermediate
    
    Part
    
    B
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
  - Of_variant3
    
    A
    
    Intermediate
    
    Part
    
    B
    
    Intermediate
    
    Part
    
    C
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
  - Of_variant3_rpc
    
    A
    
    Intermediate
    
    Part
    
    B
    
    Intermediate
    
    Part
    
    C
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
  - Of_variant4
    
    A
    
    Intermediate
    
    Part
    
    B
    
    Intermediate
    
    Part
    
    C
    
    Intermediate
    
    Part
    
    D
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
  - Of_variant4_rpc
    
    A
    
    Intermediate
    
    Part
    
    B
    
    Intermediate
    
    Part
    
    C
    
    Intermediate
    
    Part
    
    D
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
  - Packed
    
    Intermediate
    
    Part
    
    X
    
    Intermediate
    
    Part
  - Packed_rpc
    
    Intermediate
    
    Part
    
    X
    
    Intermediate
    
    Part
  - Pipe_rpc
    
    Make
    
    X
    
    Response
    
    Intermediate
    
    Part
    
    S
    
    Response
    
    Intermediate
    
    Part
  - Plain_rpc
    
    Make
    
    X
    
    Response
    
    Intermediate
    
    Part
    
    S
    
    Response
    
    Intermediate
    
    Part
  - S
    
    Intermediate
    
    Part
  - S_rpc
    
    Intermediate
    
    Part
  - S_rpc_with_sexp_of_part
    
    Intermediate
    
    Part
  - Stable
    
    Checked
    
    Intermediate
    
    Part
    
    Limit
    
    X
    
    Intermediate
    
    Part
    
    Fixpoint
    
    V1
    
    F
    
    Intermediate
    
    Part
    
    X
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    T
    
    Fixpoint_rpc
    
    V1
    
    F
    
    Intermediate
    
    Part
    
    X
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    T
    
    Of_atomic
    
    V1
    
    A
    
    Intermediate
    
    Part
    
    Of_atomic_rpc
    
    V1
    
    A
    
    Intermediate
    
    Part
    
    Of_fqueue
    
    V2
    
    A
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    V3
    
    A
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    Of_fqueue_rpc
    
    V2
    
    A
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    V3
    
    A
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    Of_hashtbl
    
    V1
    
    Data
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    Key
    
    Of_hashtbl_rpc
    
    V1
    
    Data
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    Key
    
    Of_list
    
    V2
    
    A
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    V3
    
    A
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    Of_list_rpc
    
    V2
    
    A
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    V3
    
    A
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    Of_map
    
    V1
    
    Data
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    Key
    
    V2
    
    Data
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    Key
    
    Of_map_rpc
    
    V1
    
    Data
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    Key
    
    V2
    
    Data
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    Key
    
    Of_nonempty_list
    
    V1
    
    A
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    Of_nonempty_list_rpc
    
    V1
    
    A
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    Of_option
    
    V1
    
    A
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    V2
    
    A
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    Of_option_rpc
    
    V1
    
    A
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    V2
    
    A
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    Of_result
    
    V1
    
    A
    
    Intermediate
    
    Part
    
    B
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    Of_result_rpc
    
    V1
    
    A
    
    Intermediate
    
    Part
    
    B
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    Of_sequence
    
    V1
    
    A
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    Of_sequence_rpc
    
    V1
    
    A
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    Of_set
    
    V2
    
    Intermediate
    
    Part
    
    Key
    
    V3
    
    Intermediate
    
    Part
    
    Key
    
    Of_set_rpc
    
    V2
    
    Intermediate
    
    Part
    
    Key
    
    V3
    
    Intermediate
    
    Part
    
    Key
    
    Of_sexpable
    
    V1
    
    Intermediate
    
    Part
    
    Sexpable
    
    Of_streamable
    
    V1
    
    Intermediate
    
    Part
    
    Streamable
    
    Intermediate
    
    Part
    
    X
    
    Of_streamable_rpc
    
    V1
    
    Intermediate
    
    Part
    
    Streamable
    
    Intermediate
    
    Part
    
    X
    
    Of_total_map
    
    V1
    
    Data
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    Key
    
    Of_total_map_rpc
    
    V1
    
    Data
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    Key
    
    Of_tuple2
    
    V1
    
    A
    
    Intermediate
    
    Part
    
    B
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    Of_tuple2_rpc
    
    V1
    
    A
    
    Intermediate
    
    Part
    
    B
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    Of_tuple3
    
    V1
    
    A
    
    Intermediate
    
    Part
    
    B
    
    Intermediate
    
    Part
    
    C
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    Of_tuple3_rpc
    
    V1
    
    A
    
    Intermediate
    
    Part
    
    B
    
    Intermediate
    
    Part
    
    C
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    Of_tuple4
    
    V1
    
    A
    
    Intermediate
    
    Part
    
    B
    
    Intermediate
    
    Part
    
    C
    
    Intermediate
    
    Part
    
    D
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    Of_tuple4_rpc
    
    V1
    
    A
    
    Intermediate
    
    Part
    
    B
    
    Intermediate
    
    Part
    
    C
    
    Intermediate
    
    Part
    
    D
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    Of_tuple5
    
    V1
    
    A
    
    Intermediate
    
    Part
    
    B
    
    Intermediate
    
    Part
    
    C
    
    Intermediate
    
    Part
    
    D
    
    Intermediate
    
    Part
    
    E
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    Of_tuple5_rpc
    
    V1
    
    A
    
    Intermediate
    
    Part
    
    B
    
    Intermediate
    
    Part
    
    C
    
    Intermediate
    
    Part
    
    D
    
    Intermediate
    
    Part
    
    E
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    Of_tuple6
    
    V1
    
    A
    
    Intermediate
    
    Part
    
    B
    
    Intermediate
    
    Part
    
    C
    
    Intermediate
    
    Part
    
    D
    
    Intermediate
    
    Part
    
    E
    
    Intermediate
    
    Part
    
    F
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    Of_tuple6_rpc
    
    V1
    
    A
    
    Intermediate
    
    Part
    
    B
    
    Intermediate
    
    Part
    
    C
    
    Intermediate
    
    Part
    
    D
    
    Intermediate
    
    Part
    
    E
    
    Intermediate
    
    Part
    
    F
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    Of_tuple7
    
    V1
    
    A
    
    Intermediate
    
    Part
    
    B
    
    Intermediate
    
    Part
    
    C
    
    Intermediate
    
    Part
    
    D
    
    Intermediate
    
    Part
    
    E
    
    Intermediate
    
    Part
    
    F
    
    Intermediate
    
    Part
    
    G
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    Of_tuple7_rpc
    
    V1
    
    A
    
    Intermediate
    
    Part
    
    B
    
    Intermediate
    
    Part
    
    C
    
    Intermediate
    
    Part
    
    D
    
    Intermediate
    
    Part
    
    E
    
    Intermediate
    
    Part
    
    F
    
    Intermediate
    
    Part
    
    G
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    Of_tuple8
    
    V1
    
    A
    
    Intermediate
    
    Part
    
    B
    
    Intermediate
    
    Part
    
    C
    
    Intermediate
    
    Part
    
    D
    
    Intermediate
    
    Part
    
    E
    
    Intermediate
    
    Part
    
    F
    
    Intermediate
    
    Part
    
    G
    
    Intermediate
    
    Part
    
    H
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    Of_tuple8_rpc
    
    V1
    
    A
    
    Intermediate
    
    Part
    
    B
    
    Intermediate
    
    Part
    
    C
    
    Intermediate
    
    Part
    
    D
    
    Intermediate
    
    Part
    
    E
    
    Intermediate
    
    Part
    
    F
    
    Intermediate
    
    Part
    
    G
    
    Intermediate
    
    Part
    
    H
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    Of_tuple9
    
    V1
    
    A
    
    Intermediate
    
    Part
    
    B
    
    Intermediate
    
    Part
    
    C
    
    Intermediate
    
    Part
    
    D
    
    Intermediate
    
    Part
    
    E
    
    Intermediate
    
    Part
    
    F
    
    Intermediate
    
    Part
    
    G
    
    Intermediate
    
    Part
    
    H
    
    Intermediate
    
    Part
    
    I
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    Of_tuple9_rpc
    
    V1
    
    A
    
    Intermediate
    
    Part
    
    B
    
    Intermediate
    
    Part
    
    C
    
    Intermediate
    
    Part
    
    D
    
    Intermediate
    
    Part
    
    E
    
    Intermediate
    
    Part
    
    F
    
    Intermediate
    
    Part
    
    G
    
    Intermediate
    
    Part
    
    H
    
    Intermediate
    
    Part
    
    I
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    Of_variant2
    
    V1
    
    A
    
    Intermediate
    
    Part
    
    B
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    Of_variant2_rpc
    
    V1
    
    A
    
    Intermediate
    
    Part
    
    B
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    Of_variant3
    
    V1
    
    A
    
    Intermediate
    
    Part
    
    B
    
    Intermediate
    
    Part
    
    C
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    Of_variant3_rpc
    
    V1
    
    A
    
    Intermediate
    
    Part
    
    B
    
    Intermediate
    
    Part
    
    C
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    Of_variant4
    
    V1
    
    A
    
    Intermediate
    
    Part
    
    B
    
    Intermediate
    
    Part
    
    C
    
    Intermediate
    
    Part
    
    D
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    Of_variant4_rpc
    
    V1
    
    A
    
    Intermediate
    
    Part
    
    B
    
    Intermediate
    
    Part
    
    C
    
    Intermediate
    
    Part
    
    D
    
    Intermediate
    
    Part
    
    Intermediate
    
    Part
    
    Packed
    
    V1
    
    Intermediate
    
    Part
    
    X
    
    Intermediate
    
    Part
    
    Packed_rpc
    
    V1
    
    Intermediate
    
    Part
    
    X
    
    Intermediate
    
    Part
    
    S
    
    Intermediate
    
    Part
    
    S_rpc
    
    Intermediate
    
    Part
    
    S_rpc_with_sexp_of_part
    
    Intermediate
    
    Part
    
    V1
  - State_rpc
    
    Direct_writer
    
    Group
    
    Make
    
    X
    
    State
    
    Intermediate
    
    Part
    
    Update
    
    Intermediate
    
    Part
    
    S
    
    State
    
    Intermediate
    
    Part
    
    Update
    
    Intermediate
    
    Part
  - Versioned_pipe_rpc
    
    Both_convert
    
    Make
    
    Model
    
    Callee
    
    Caller
    
    Register
    
    Version
    
    Response
    
    Intermediate
    
    Part
    
    Callee_converts
    
    Make
    
    Model
    
    Register
    
    Version
    
    Response
    
    Intermediate
    
    Part
    
    Caller_converts
    
    Make
    
    Model
    
    Register
    
    Version
    
    Response
    
    Intermediate
    
    Part
  - Versioned_plain_rpc
    
    Both_convert
    
    Make
    
    Model
    
    Callee
    
    Caller
    
    Register
    
    Version
    
    Response
    
    Intermediate
    
    Part
    
    Callee_converts
    
    Make
    
    Model
    
    Register
    
    Version
    
    Response
    
    Intermediate
    
    Part
    
    Caller_converts
    
    Make
    
    Model
    
    Register
    
    Version
    
    Response
    
    Intermediate
    
    Part
  - Versioned_state_rpc
    
    Both_convert
    
    Make
    
    Model
    
    Callee
    
    Caller
    
    Register
    
    Version
    
    State
    
    Intermediate
    
    Part
    
    Update
    
    Intermediate
    
    Part
    
    Callee_converts
    
    Make
    
    Model
    
    Register
    
    Version
    
    State
    
    Intermediate
    
    Part
    
    Update
    
    Intermediate
    
    Part
    
    Caller_converts
    
    Make
    
    Model
    
    Register
    
    Version
    
    State
    
    Intermediate
    
    Part
    
    Update
    
    Intermediate
    
    Part

Legend:
Library
Module
Module type
Parameter
Class
Class type

type t

module Intermediate : sig ... end

val to_parts : t -> Intermediate.Part.t Base.Sequence.t

val finalize : Intermediate.t -> t