basic_convs : unit -> (string * (term * conv)) list
# basic_convs();; val it : (string * (term * conv)) list = [("FUN_ONEPATTERN_CONV", (`_FUNCTION (\y z. P y z) x`,)); ("MATCH_ONEPATTERN_CONV", (`_MATCH x (\y z. P y z)`, )); ("FUN_SEQPATTERN_CONV", (`_FUNCTION (_SEQPATTERN r s) x`, )); ("MATCH_SEQPATTERN_CONV", (`_MATCH x (_SEQPATTERN r s)`, )); ("GEN_BETA_CONV", (`GABS (\a. b) c`, ))]