Skip to contents

Read an ACSet from JSON file

Usage

read_json_acset(constructor, path)

Arguments

constructor

An acset_constructor from acset_type().

path

File path to read from.

Value

An ACSet instance.