open Synext_definition

val explicit_arguments_lf_kind : lf_kind -> int

val explicit_arguments_lf_typ : lf_typ -> int

val explicit_arguments_comp_kind : comp_kind -> int

val explicit_arguments_comp_typ : comp_typ -> int
