= 768" x-on:close-sidebar="sidebar=window.innerWidth >= 768 && true">
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module A = BatArray
module IntSet = BatSet.Int
module Ht = BatHashtbl
module L = BatList
module StringMap = BatMap.String
val get_name : t -> string
val nb_atoms : t -> int
val get_succs : t -> int -> Molenc.Node.IntSet.t
val encode : int -> t -> (Atom_env.t * int) list
val atom_pairs : t -> (Atom_pair.t * int) list